Software Defect Detection-oriented Static Analysis Techniques
نویسندگان
چکیده
منابع مشابه
Software Defect Detection-oriented Static Analysis Techniques
This paper mainly studies the method of static analysis techniques; discuss static analysis techniques status and progress, as well as the characteristics of static analysis.
متن کاملStatic Analysis Techniques for Session-Oriented Calculi
In the S project, core calculi have been adopted as a linguistic means to model and analyze service oriented applications. The present chapter reports about the static analysis techniques developed for the S sessionoriented core calculi CaSPiS and CC. In particular, it presents a type system for client progress and control flow analysis in CaSPiS and type systems for conversation ...
متن کاملStatic Analysis on Lyee-Oriented Software
Software development has been suffering, for many decades, from the lack of simple and powerful methodologies and tools. Despite the tremendous advances in this research field, the crisis has still not overcome and the proposed remedies are far from resolving the problems of software development and maintenance. Lately, a new and very promising methodology, called Lyee, has been proposed. It ai...
متن کاملUnderstanding and Improving Object-Oriented Software Through Static Software Analysis
............................................................................................................................... viii
متن کاملEfficiency Analysis of Defect - Detection Techniques
Various effectiveness and efficiency metrics have been proposed for defect-detection techniques and quality assurance. This report aims at introducing and comparing the most common metrics that include the effort for the techniques. These metrics are based on code coverage and fault count. Furthermore two new metrics are introduced that use the failure intensity as a more reliability-oriented m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Wireless and Microwave Technologies
سال: 2012
ISSN: 2076-1449,2076-9539
DOI: 10.5815/ijwmt.2012.06.03